Hierarchical interface-based supervisory control using the conflict preorder
نویسندگان
چکیده
Hierarchical Interface-Based Supervisory Control decomposes a large discrete event system into subsystems linked to each other by interfaces, facilitating the design of complex systems and the re-use of components. By ensuring that each subsystem satisfies its interface consistency conditions locally, it can be ensured that the complete system is controllable and nonblocking. The interface consistency conditions proposed in this paper are based on the conflict preorder, providing increased flexibility over previous approaches. The framework requires only a small number of interface consistency conditions, and allows for the design of multi-level hierarchies that are provably controllable and nonblocking.
منابع مشابه
Hierarchical Interface-based Supervisory Control of a Bottling Plant
In this paper, the application of the Hierarchical Interface-based Supervisory Control method to controlling a large scale manufacturing example is presented adopting a layered organizational hierarchy of a factory. The generic and easily maintainable implementation using programmable logic controllers, a personal computer and TCP/IP over Ethernet for communication is explained in detail. To as...
متن کاملDecentralized Control Using the Hierarchical Interface-based Supervisory Control Approach
The Hierarchical Interface-Based Supervisory Control (HISC) framework was proposed to address challenges inherent in modeling the behavior of large, complex systems. Such systems are often characterized by decentralized or distributed architectures, where agents have only a partial view of the system behavior and cooperate to achieve the control objective, aspects unsupported by HISC. We introd...
متن کاملMulti-level hierarchical interface-based supervisory control
Hierarchical Interface-Based Supervisory Control employs interfaces that allow properties of a monolithic system to be verified through local analysis. By avoiding the need to verify properties globally, significant computational savings can be achieved. In this paper we provide local requirements for a multi-level architecture employing command-pair type interfaces. This multilevel architectur...
متن کاملTowards supervisory control of interactive Markov chains
We propose a model-based systems engineering framework for supervisory control of stochastic discrete-event systems with unrestricted nondeterminism. We intend to develop the proposed framework in four phases outlined in this paper. Here, we study in detail the first step which comprises investigation of the underlying model and development of a corresponding notion of controllability. The mode...
متن کاملHuman Management of a Hierarchical Control System for Multiple Mobile Agents
This paper de nes a hierarchy of human supervisory mediation levels into a robotic system This interaction creates a semi autonomous system which should enable completion of all feasible tasks We propose that the increased interaction between the supervisor and all lev els of a robotic system will permit a human supervisor to maintain the system in a stable state We have in corporated these hie...
متن کامل